NEXT ·  UP ·  PREVIOUS ·  CONTENTS ·  INDEX
Next: Contents Up: Applicative Programming and Specification Previous: Applicative Programming and Specification

Authors' address

Laboratory for Foundations of Computer Science
Department of Computer Science
The James Clerk Maxwell Building
The King's Buildings
University of Edinburgh
Edinburgh EH9 3JZ, UK


Stephen Gilmore
8/5/1997